
import java.io.PrintWriter;

class RecordRef extends Var {

	private Node varExt_;
	private Node varIn_;

	public RecordRef(Node v1, Node v2) {
		varExt_ = v1;
		varIn_ = v2;
	}

	@Override
	public void print(PrintWriter pw) {
		pw.println("Node name : RecordRef");
		// assert(varExt_ && varIn_);
		varExt_.print(pw);
		varIn_.print(pw);
	}

}